Optimal. Leaf size=119 \[ \frac{a (8 A-B) \tan ^7(c+d x)}{63 d}+\frac{a (8 A-B) \tan ^5(c+d x)}{15 d}+\frac{a (8 A-B) \tan ^3(c+d x)}{9 d}+\frac{a (8 A-B) \tan (c+d x)}{9 d}+\frac{(A+B) \sec ^9(c+d x) (a \sin (c+d x)+a)}{9 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0865134, antiderivative size = 119, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 29, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.069, Rules used = {2855, 3767} \[ \frac{a (8 A-B) \tan ^7(c+d x)}{63 d}+\frac{a (8 A-B) \tan ^5(c+d x)}{15 d}+\frac{a (8 A-B) \tan ^3(c+d x)}{9 d}+\frac{a (8 A-B) \tan (c+d x)}{9 d}+\frac{(A+B) \sec ^9(c+d x) (a \sin (c+d x)+a)}{9 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2855
Rule 3767
Rubi steps
\begin{align*} \int \sec ^{10}(c+d x) (a+a \sin (c+d x)) (A+B \sin (c+d x)) \, dx &=\frac{(A+B) \sec ^9(c+d x) (a+a \sin (c+d x))}{9 d}+\frac{1}{9} (a (8 A-B)) \int \sec ^8(c+d x) \, dx\\ &=\frac{(A+B) \sec ^9(c+d x) (a+a \sin (c+d x))}{9 d}-\frac{(a (8 A-B)) \operatorname{Subst}\left (\int \left (1+3 x^2+3 x^4+x^6\right ) \, dx,x,-\tan (c+d x)\right )}{9 d}\\ &=\frac{(A+B) \sec ^9(c+d x) (a+a \sin (c+d x))}{9 d}+\frac{a (8 A-B) \tan (c+d x)}{9 d}+\frac{a (8 A-B) \tan ^3(c+d x)}{9 d}+\frac{a (8 A-B) \tan ^5(c+d x)}{15 d}+\frac{a (8 A-B) \tan ^7(c+d x)}{63 d}\\ \end{align*}
Mathematica [B] time = 4.27944, size = 407, normalized size = 3.42 \[ \frac{a \sec (c) (-85750 (A+B) \cos (c+d x)+17150 A \sin (2 (c+d x))+17150 A \sin (4 (c+d x))+7350 A \sin (6 (c+d x))+1225 A \sin (8 (c+d x))+688128 A \sin (2 c+3 d x)+229376 A \sin (4 c+5 d x)+32768 A \sin (6 c+7 d x)-51450 A \cos (3 (c+d x))-17150 A \cos (5 (c+d x))-2450 A \cos (7 (c+d x))+229376 A \cos (c+2 d x)+229376 A \cos (3 c+4 d x)+98304 A \cos (5 c+6 d x)+16384 A \cos (7 c+8 d x)+1146880 A \sin (d x)+17150 B \sin (2 (c+d x))+17150 B \sin (4 (c+d x))+7350 B \sin (6 (c+d x))+1225 B \sin (8 (c+d x))-86016 B \sin (2 c+3 d x)-28672 B \sin (4 c+5 d x)-4096 B \sin (6 c+7 d x)-51450 B \cos (3 (c+d x))-17150 B \cos (5 (c+d x))-2450 B \cos (7 (c+d x))-28672 B \cos (c+2 d x)-28672 B \cos (3 c+4 d x)-12288 B \cos (5 c+6 d x)-2048 B \cos (7 c+8 d x)+645120 B \cos (c)-143360 B \sin (d x))}{5160960 d \left (\cos \left (\frac{1}{2} (c+d x)\right )-\sin \left (\frac{1}{2} (c+d x)\right )\right )^9 \left (\sin \left (\frac{1}{2} (c+d x)\right )+\cos \left (\frac{1}{2} (c+d x)\right )\right )^7} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.119, size = 158, normalized size = 1.3 \begin{align*}{\frac{1}{d} \left ({\frac{aA}{9\, \left ( \cos \left ( dx+c \right ) \right ) ^{9}}}+aB \left ({\frac{ \left ( \sin \left ( dx+c \right ) \right ) ^{3}}{9\, \left ( \cos \left ( dx+c \right ) \right ) ^{9}}}+{\frac{2\, \left ( \sin \left ( dx+c \right ) \right ) ^{3}}{21\, \left ( \cos \left ( dx+c \right ) \right ) ^{7}}}+{\frac{8\, \left ( \sin \left ( dx+c \right ) \right ) ^{3}}{105\, \left ( \cos \left ( dx+c \right ) \right ) ^{5}}}+{\frac{16\, \left ( \sin \left ( dx+c \right ) \right ) ^{3}}{315\, \left ( \cos \left ( dx+c \right ) \right ) ^{3}}} \right ) -aA \left ( -{\frac{128}{315}}-{\frac{ \left ( \sec \left ( dx+c \right ) \right ) ^{8}}{9}}-{\frac{8\, \left ( \sec \left ( dx+c \right ) \right ) ^{6}}{63}}-{\frac{16\, \left ( \sec \left ( dx+c \right ) \right ) ^{4}}{105}}-{\frac{64\, \left ( \sec \left ( dx+c \right ) \right ) ^{2}}{315}} \right ) \tan \left ( dx+c \right ) +{\frac{aB}{9\, \left ( \cos \left ( dx+c \right ) \right ) ^{9}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.02318, size = 170, normalized size = 1.43 \begin{align*} \frac{{\left (35 \, \tan \left (d x + c\right )^{9} + 180 \, \tan \left (d x + c\right )^{7} + 378 \, \tan \left (d x + c\right )^{5} + 420 \, \tan \left (d x + c\right )^{3} + 315 \, \tan \left (d x + c\right )\right )} A a +{\left (35 \, \tan \left (d x + c\right )^{9} + 135 \, \tan \left (d x + c\right )^{7} + 189 \, \tan \left (d x + c\right )^{5} + 105 \, \tan \left (d x + c\right )^{3}\right )} B a + \frac{35 \, A a}{\cos \left (d x + c\right )^{9}} + \frac{35 \, B a}{\cos \left (d x + c\right )^{9}}}{315 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.91598, size = 436, normalized size = 3.66 \begin{align*} -\frac{16 \,{\left (8 \, A - B\right )} a \cos \left (d x + c\right )^{8} - 8 \,{\left (8 \, A - B\right )} a \cos \left (d x + c\right )^{6} - 2 \,{\left (8 \, A - B\right )} a \cos \left (d x + c\right )^{4} -{\left (8 \, A - B\right )} a \cos \left (d x + c\right )^{2} - 5 \,{\left (A - 8 \, B\right )} a +{\left (16 \,{\left (8 \, A - B\right )} a \cos \left (d x + c\right )^{6} + 8 \,{\left (8 \, A - B\right )} a \cos \left (d x + c\right )^{4} + 6 \,{\left (8 \, A - B\right )} a \cos \left (d x + c\right )^{2} + 5 \,{\left (8 \, A - B\right )} a\right )} \sin \left (d x + c\right )}{315 \,{\left (d \cos \left (d x + c\right )^{7} \sin \left (d x + c\right ) - d \cos \left (d x + c\right )^{7}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.36597, size = 628, normalized size = 5.28 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]